epsilon criterion for supremum